Самая большая электронная библиотека рунета. Поиск книг и журналов

Types, Tableaus, and Gödel’s God (Trends in Logic)

Автор:
Размер книги: 11.17 Mb

Intuitionistic logic, model theory and forcing

Автор:
Категория: Mathematical logic
Размер книги: 927 Kb

Set theory and the continuum problem

Автор: , Автор:
Размер книги: 3.08 Mb

Set theory and the continuum problem

Автор: , Автор:
Размер книги: 2.42 Mb

Intuitionistic logic, model theory and forcing

Автор:
Размер книги: 1.80 Mb

Intuitionistic logic model theory and forcing

Автор:
Размер книги: 3.76 Mb

First-order Logic and Automated Theorem Proving

Автор:
Размер книги: 1.80 Mb

Fundamentals of generalized recursion theory

Автор:
Категория: Mathematical logic
Размер книги: 1.71 Mb

Fundamentals of generalized recursion theory

Автор:
Размер книги: 954 Kb